regular operations automata